header bar: squeeze the title in
authorMatthias Clasen <mclasen@redhat.com>
Fri, 14 Feb 2014 20:37:11 +0000 (15:37 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 14 Feb 2014 20:39:08 +0000 (15:39 -0500)
commite179c65da037a2354cc8db4f824590014ef8bc87
tree4ba65ed639a8fe8ca69e8a925b757d7e1e1b0a35
parent4a208439e65e34704f7e266cbae2e199ecf024e2
header bar: squeeze the title in

Let the center widget extend into the border area, to avoid
resizing header bars needlessly. This improves the uniformity
of header bars across applications, some of which don't use
subtitles, or use custom title widgets.

https://bugzilla.gnome.org/show_bug.cgi?id=706515
https://bugzilla.gnome.org/show_bug.cgi?id=707999
gtk/gtkheaderbar.c